Conditional Difference Systems
نویسنده
چکیده
Consolidation is inferring the behavioral description of a device by composing the behavioral descriptions of its components, e.g., deriving the qualitative differential equations (QDEs) of a device from those of its components. In previous work, Dormoy and Raiman described the qualitative resolution rule, which is a general rule for deriving QDEs of combinations of components. However, the qualitative resolution rule is intractable in general. As a step toward understanding tractable qualitative reasoning, I present a new QDE resolution rule, the qualitative difference resolution rule, that supports the tractable consolidation of components in which direction of flow is dependent on the signs of pressure differences. Pipes and containers are general types of components that match this rule. The pressure regulator example also matches this rule.
منابع مشابه
Efficient Simulation of a Random Knockout Tournament
We consider the problem of using simulation to efficiently estimate the win probabilities for participants in a general random knockout tournament. Both of our proposed estimators, one based on the notion of “observed survivals” and the other based on conditional expectation and post-stratification, are highly effective in terms of variance reduction when compared to the raw simulation estimato...
متن کاملOn the Practical Irrelevance of Diverging Implication between Probabilistic Conditional Independence and Embedded Multivalued Dependency
Bayesian networks serve as the basis for developing probabilistic expert systems and have been applied widely in artificial intelligence. Previous research has argued that Bayesian networks and relational databases are different by showing that the logical implication of conditional independence (CI) and embedded multivalued dependency (EMVD) do not always coincide. In this paper, we show that ...
متن کاملConditional Cash Transfers for Maternal Health Interventions: Factors Influencing Uptake in North-Central Nigeria
Background Nigeria accounts for a significant proportion of global maternal mortality figures with little progress made in curbing poor health indices. In a bid to reverse this trend, the Government of Nigeria initiated a conditional cash transfer (CCT) programme to encourage pregnant women utilize services at designated health facilities. This study aims to understand experiences of women who ...
متن کاملDeciding Conditional Termination
This paper addresses the problem of conditional termination, which is that of defining the set of initial configurations from which a given program terminates. First we define the dual set, of initial configurations, from which a non-terminating execution exists, as the greatest fixpoint of the pre-image of the transition relation. This definition enables the representation of this set, wheneve...
متن کاملA Preferred Definition of Conditional Rényi Entropy
The Rényi entropy is a generalization of Shannon entropy to a one-parameter family of entropies. Tsallis entropy too is a generalization of Shannon entropy. The measure for Tsallis entropy is non-logarithmic. After the introduction of Shannon entropy , the conditional Shannon entropy was derived and its properties became known. Also, for Tsallis entropy, the conditional entropy was introduced a...
متن کاملOn the implication problem for probabilistic conditional independency
The implication problem is to test whether a given set of independencies logically implies another independency. This problem is crucial in the design of a probabilistic reasoning system. We advocate that Bayesian networks are a generalization of standard relational databases. On the contrary, it has been suggested that Bayesian networks are different from the relational databases because the i...
متن کامل